package main

//给定一个字符串 (s) 和一个字符模式 (p) ，实现一个支持 '?' 和 '*' 的通配符匹配。
//
// '?' 可以匹配任何单个字符。
//'*' 可以匹配任意字符串（包括空字符串）。
//
//
// 两个字符串完全匹配才算匹配成功。
//
// 说明:
//
//
// s 可能为空，且只包含从 a-z 的小写字母。
// p 可能为空，且只包含从 a-z 的小写字母，以及字符 ? 和 *。
//
//
// 示例 1:
//
// 输入:
//s = "aa"
//p = "a"
//输出: false
//解释: "a" 无法匹配 "aa" 整个字符串。
//
// 示例 2:
//
// 输入:
//s = "aa"
//p = "*"
//输出: true
//解释: '*' 可以匹配任意字符串。
//
//
// 示例 3:
//
// 输入:
//s = "cb"
//p = "?a"
//输出: false
//解释: '?' 可以匹配 'c', 但第二个 'a' 无法匹配 'b'。
//
//
// 示例 4:
//
// 输入:
//s = "adceb"
//p = "*a*b"
//输出: true
//解释: 第一个 '*' 可以匹配空字符串, 第二个 '*' 可以匹配字符串 "dce".
//
//
// 示例 5:
//
// 输入:
//s = "acdcb"
//p = "a*c?b"
//输出: false
// Related Topics 贪心 递归 字符串 动态规划 👍 831 👎 0

//leetcode submit region begin(Prohibit modification and deletion)
func isMatch(s string, p string) bool {
	// 推dp方程
	// dp[i][j]代表s的前i位与p的前j位是否匹配
	// 作为初始状态：dp[0][0] = true
	// 如果s[i] == p[j]，dp[i][j] = dp[i-1][j-1]
	// 否则，考虑当前位置是 ?,* 的情况
	// 如果p[j] == ?, dp[i][j] = dp[i-1][j-1]
	// 如果p[j] == *, dp[i][j] = dp[i-1][j] || dp[i][j-1]
	dp := make([][]bool, len(s)+1)
	for i := 0; i < len(dp); i++ {
		dp[i] = make([]bool, len(p)+1)
	}
	dp[0][0] = true

	// 这里i, j代表的是从1开始数第几位，而不是从0开始的索引
	// 存在问题是，dp[0][j]和dp[i][0]是没有赋值的，因此需要对这两种做单独处理
	// 当i>0, dp[i][0]一定是false，而dp[0][0]已经确定为true，因此不用加特殊处理
	// 正常情况下，dp[0][j]也是false，唯独当p的第j位是 * 时，dp[0][j] = dp[0][j-1]，例如：s="abc", p="***"
	for i := 0; i <= len(s); i++ {
		for j := 1; j <= len(p); j++ {
			if i == 0 {
				if j != 0 && p[j-1] == '*' {
					dp[i][j] = dp[i][j-1]
				}
				continue
			}
			if s[i-1] == p[j-1] || p[j-1] == '?' {
				dp[i][j] = dp[i-1][j-1]
			} else if p[j-1] == '*' {
				dp[i][j] = dp[i-1][j] || dp[i][j-1]
			} else {
				dp[i][j] = false
			}
		}
	}
	return dp[len(s)][len(p)]
}

//leetcode submit region end(Prohibit modification and deletion)
